type C<'T> when 'T :> I =
    do ()
